1. The classical decision problem /
پدیدآورنده : Egon Börger, Erich Grädel, Yuri Gurevich
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Decidability (Mathematical logic)
رده :
QA9
.
65
.
B64
1997